\begin{tabbing}
$\forall$$n$:$\mathbb{N}$, $A$:Realizer.
\\[0ex](R{-}size($A$) $\leq$ $n$)
\\[0ex]$\Rightarrow$ R{-}Feasible($A$)
\\[0ex]$\Rightarrow$ \=(([[$A$]] $\in$ Dsys)\+
\\[0ex]c$\wedge$ ($\forall$$B$:Realizer. (R{-}size($B$) $\leq$ $n$) $\Rightarrow$ R{-}Feasible($B$) $\Rightarrow$ $A$ $\parallel$ $B$ $\Rightarrow$ [[$A$]] $\parallel$ [[$B$]]))
\-
\end{tabbing}